Songs of innocence and experience

Innocence Re-called: The Implied Reader in Blake's Songs of Innocence

The Anatomy of Innocence

We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definability theorem of general innocent strategies with respect to a simply typed language of extended Böhm trees, which gives an operational meaning to rigidity in call-byname. A corresponding factorization of innocent strategi...

The Proof of Innocence

We show that if a car stops at a stop sign, an observer, e.g., a police officer, located at a certain distance perpendicular to the car trajectory, must have an illusion that the car does not stop, if the following three conditions are satisfied: (1) the observer measures not the linear but angular speed of the car; (2) the car decelerates and subsequently accelerates relatively fast; and (3) t...

Probable Innocence and Independent Knowledge

We analyse the Crowds anonymity protocol under the novel assumption that the attacker has independent knowledge on behavioural patterns of individual users. Under such conditions we study, reformulate and extend Reiter and Rubin’s notion of probable innocence, and provide a new formalisation for it based on the concept of protocol vulnerability. Accordingly, we establish new formal relationship...

Archaeology : the loss of innocence

We p.S#&$ IQst year two mticles dealing with the a i m and relevante of the so-called 'nem first was by Professor Richrd Watson (1972, 210-15) and the second by ,301-4). We also pubhhed a r h by David C h k e of 'Explanation tson, S. A . LeBlanc and C. L. Redman (1972, 237-9). Here, nd Tutor of Peterhouse, Cambridge, sets out his com'dered views archaeology, some of which he has already dkeusse...